package edu.pku.sei.autounit.reflect.java;

import java.util.Map;

import edu.pku.sei.autounit.reflect.AbstractType;
import edu.pku.sei.autounit.reflect.Array;
import edu.pku.sei.autounit.reflect.Type;

public class JavaArray extends AbstractType implements Array{

	private Type elementType;
	public JavaArray(Type type){
		this.elementType = type;
	}
	
	public Type getElementType() {
		return elementType;
	}

	
	public String getFullName() {
		return elementType.getFullName()+"[]";
	}

	
	public String getName(Map<String, String> map) {
		return elementType.getName(map)+"[]";
	}
}
